Robert Kowalski | |
---|---|
Robert Kowalski (9. listopadu 2009) | |
Narození | 15. května 1941 (83 let) Bridgeport |
Alma mater | Edinburská univerzita University of Bridgeport Varšavská univerzita Chicagská univerzita Stanfordova univerzita Fairfield College Preparatory School |
Povolání | matematik, informatik, inženýr, filozof a vysokoškolský učitel |
Zaměstnavatelé | Imperial College London Edinburská univerzita |
Ocenění | AAAI Fellow (1991) ACM Fellow (2001) IJCAI Award for Research Excellence (2011) |
Některá data mohou pocházet z datové položky. |
Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou. Jeho předci jsou polského původu. Převážnou část své kariéry strávil ve Spojeném království. Jeho jméno je nejvíce spojováno s vývojem logického programování, především procedurální interpretací Hornových klauzulí. Byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty.